Specifying Open Agent Systems: A Survey
نویسندگان
چکیده
Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems are developed by different parties and have conflicting goals. Consequently, they may choose not to, or simply fail to, conform to the norms governing their interactions. It has been argued that many practical applications in the future will be realised in terms of open agent systems of this sort. Not surprisingly, recently there is a growing interest in open systems. In this paper we review and compare four approaches for the specification of open systems, pointing out the extent to which they satisfy a set of requirements identified in the literature.
منابع مشابه
UML 2.0 and agents: how to build agent-based systems with the new UML standard
UML 2.0 is the upcoming standard of the OMG for specifying object-oriented software systems. In this paper we will show how UML 2.0 can be applied for the specification of agent-based systems. Moreover we will give a short overview on existing agent methodologies to have a reference what has to be specified in such systems. The paper concludes with some outlook for further research and open iss...
متن کاملLogic-Based Specification Languages for Intelligent Software Agents
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable...
متن کاملOpen standards for interoperating agent-based systems
rovides an overview of the Foundation for Intelligent Physical Agents (FIPA) on effort in the area of specifying standards for heterogeneous, interoperating systems. We describe the types of software agents which are of interest to FIPA, by which FIPA members collaborate and produce specifications and also of the specifications that FIPA has produced. Also, we list the available ons of FIPA spe...
متن کاملCommunicating Open Systems: Extended Abstract
Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple interacting software agents. In this paper, we argue that open multi-agent systems can be effectively designed and implemented as electronic institutions, for whic...
متن کاملAn Algorithmic Approach to Specifying and Verifying Subgame Perfect Equilibria
Game theory is a popular tool for designing interaction protocols for agent systems. It is currently not clear how to apply this to open agent systems. By “open” we mean that foreign agents will be free enter and leave different agent systems at will. This means that agents will need to be able to work with previously unseen protocols. There does not yet exist any agreement on a standard way in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008